Logic Programming and Negation: A Survey

Nonmonotonic grew out attempts to the essential of common-sense It resulted a number important formalisms, most known them being circumsctiption method McCarthy [loll, default theory Reiter [136], autoepistemic Zogic Moore 11041. a systematic of these see the published Marek Truszczyfiski [98].) of the features of programming is it can support nonmonotonic means of literals. Many introduced the area nonmonotonic reasoning a natural within logic in spite its limited The dual of logic a computational and as formalism for representation-provided fertile ground a study proof theory semantics programs which nonmonotonic reasoning. paper attempts survey the of this This subject, some fragments it, were discussed in less than previous survey Shepherdson [149, Przymusinska and [113], Bidoit and Clark Moreover, while this paper learned of survey-that of [461, who on the reasoning aspects